Optimal. Leaf size=180 \[ -\frac{(b c-a d)^{3/2} (a d+4 b c) \tanh ^{-1}\left (\frac{\sqrt{b} \sqrt{c+d x^2}}{\sqrt{b c-a d}}\right )}{2 a^3 b^{3/2}}+\frac{c^{3/2} (4 b c-5 a d) \tanh ^{-1}\left (\frac{\sqrt{c+d x^2}}{\sqrt{c}}\right )}{2 a^3}-\frac{\sqrt{c+d x^2} (b c-a d) (2 b c-a d)}{2 a^2 b \left (a+b x^2\right )}-\frac{c \left (c+d x^2\right )^{3/2}}{2 a x^2 \left (a+b x^2\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.269985, antiderivative size = 180, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25, Rules used = {446, 98, 149, 156, 63, 208} \[ -\frac{(b c-a d)^{3/2} (a d+4 b c) \tanh ^{-1}\left (\frac{\sqrt{b} \sqrt{c+d x^2}}{\sqrt{b c-a d}}\right )}{2 a^3 b^{3/2}}+\frac{c^{3/2} (4 b c-5 a d) \tanh ^{-1}\left (\frac{\sqrt{c+d x^2}}{\sqrt{c}}\right )}{2 a^3}-\frac{\sqrt{c+d x^2} (b c-a d) (2 b c-a d)}{2 a^2 b \left (a+b x^2\right )}-\frac{c \left (c+d x^2\right )^{3/2}}{2 a x^2 \left (a+b x^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 446
Rule 98
Rule 149
Rule 156
Rule 63
Rule 208
Rubi steps
\begin{align*} \int \frac{\left (c+d x^2\right )^{5/2}}{x^3 \left (a+b x^2\right )^2} \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{(c+d x)^{5/2}}{x^2 (a+b x)^2} \, dx,x,x^2\right )\\ &=-\frac{c \left (c+d x^2\right )^{3/2}}{2 a x^2 \left (a+b x^2\right )}-\frac{\operatorname{Subst}\left (\int \frac{\sqrt{c+d x} \left (\frac{1}{2} c (4 b c-5 a d)+\frac{1}{2} d (b c-2 a d) x\right )}{x (a+b x)^2} \, dx,x,x^2\right )}{2 a}\\ &=-\frac{(b c-a d) (2 b c-a d) \sqrt{c+d x^2}}{2 a^2 b \left (a+b x^2\right )}-\frac{c \left (c+d x^2\right )^{3/2}}{2 a x^2 \left (a+b x^2\right )}+\frac{\operatorname{Subst}\left (\int \frac{-\frac{1}{2} b c^2 (4 b c-5 a d)-\frac{1}{2} d \left (2 b^2 c^2-2 a b c d-a^2 d^2\right ) x}{x (a+b x) \sqrt{c+d x}} \, dx,x,x^2\right )}{2 a^2 b}\\ &=-\frac{(b c-a d) (2 b c-a d) \sqrt{c+d x^2}}{2 a^2 b \left (a+b x^2\right )}-\frac{c \left (c+d x^2\right )^{3/2}}{2 a x^2 \left (a+b x^2\right )}-\frac{\left (c^2 (4 b c-5 a d)\right ) \operatorname{Subst}\left (\int \frac{1}{x \sqrt{c+d x}} \, dx,x,x^2\right )}{4 a^3}+\frac{\left ((b c-a d)^2 (4 b c+a d)\right ) \operatorname{Subst}\left (\int \frac{1}{(a+b x) \sqrt{c+d x}} \, dx,x,x^2\right )}{4 a^3 b}\\ &=-\frac{(b c-a d) (2 b c-a d) \sqrt{c+d x^2}}{2 a^2 b \left (a+b x^2\right )}-\frac{c \left (c+d x^2\right )^{3/2}}{2 a x^2 \left (a+b x^2\right )}-\frac{\left (c^2 (4 b c-5 a d)\right ) \operatorname{Subst}\left (\int \frac{1}{-\frac{c}{d}+\frac{x^2}{d}} \, dx,x,\sqrt{c+d x^2}\right )}{2 a^3 d}+\frac{\left ((b c-a d)^2 (4 b c+a d)\right ) \operatorname{Subst}\left (\int \frac{1}{a-\frac{b c}{d}+\frac{b x^2}{d}} \, dx,x,\sqrt{c+d x^2}\right )}{2 a^3 b d}\\ &=-\frac{(b c-a d) (2 b c-a d) \sqrt{c+d x^2}}{2 a^2 b \left (a+b x^2\right )}-\frac{c \left (c+d x^2\right )^{3/2}}{2 a x^2 \left (a+b x^2\right )}+\frac{c^{3/2} (4 b c-5 a d) \tanh ^{-1}\left (\frac{\sqrt{c+d x^2}}{\sqrt{c}}\right )}{2 a^3}-\frac{(b c-a d)^{3/2} (4 b c+a d) \tanh ^{-1}\left (\frac{\sqrt{b} \sqrt{c+d x^2}}{\sqrt{b c-a d}}\right )}{2 a^3 b^{3/2}}\\ \end{align*}
Mathematica [A] time = 0.432793, size = 175, normalized size = 0.97 \[ -\frac{\frac{a \sqrt{c+d x^2} \left (a^2 d^2 x^2+a b c \left (c-2 d x^2\right )+2 b^2 c^2 x^2\right )}{b x^2 \left (a+b x^2\right )}+\frac{\sqrt{b c-a d} \left (-a^2 d^2-3 a b c d+4 b^2 c^2\right ) \tanh ^{-1}\left (\frac{\sqrt{b} \sqrt{c+d x^2}}{\sqrt{b c-a d}}\right )}{b^{3/2}}+c^{3/2} (-(4 b c-5 a d)) \tanh ^{-1}\left (\frac{\sqrt{c+d x^2}}{\sqrt{c}}\right )}{2 a^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.017, size = 7590, normalized size = 42.2 \begin{align*} \text{output too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (d x^{2} + c\right )}^{\frac{5}{2}}}{{\left (b x^{2} + a\right )}^{2} x^{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 12.609, size = 2638, normalized size = 14.66 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.15505, size = 390, normalized size = 2.17 \begin{align*} -\frac{1}{2} \, d^{3}{\left (\frac{{\left (4 \, b c^{3} - 5 \, a c^{2} d\right )} \arctan \left (\frac{\sqrt{d x^{2} + c}}{\sqrt{-c}}\right )}{a^{3} \sqrt{-c} d^{3}} + \frac{2 \,{\left (d x^{2} + c\right )}^{\frac{3}{2}} b^{2} c^{2} - 2 \, \sqrt{d x^{2} + c} b^{2} c^{3} - 2 \,{\left (d x^{2} + c\right )}^{\frac{3}{2}} a b c d + 3 \, \sqrt{d x^{2} + c} a b c^{2} d +{\left (d x^{2} + c\right )}^{\frac{3}{2}} a^{2} d^{2} - \sqrt{d x^{2} + c} a^{2} c d^{2}}{{\left ({\left (d x^{2} + c\right )}^{2} b - 2 \,{\left (d x^{2} + c\right )} b c + b c^{2} +{\left (d x^{2} + c\right )} a d - a c d\right )} a^{2} b d^{2}} - \frac{{\left (4 \, b^{3} c^{3} - 7 \, a b^{2} c^{2} d + 2 \, a^{2} b c d^{2} + a^{3} d^{3}\right )} \arctan \left (\frac{\sqrt{d x^{2} + c} b}{\sqrt{-b^{2} c + a b d}}\right )}{\sqrt{-b^{2} c + a b d} a^{3} b d^{3}}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]